$\forall$$A$:MsgA. AtomFree(da($A$)) $\Rightarrow$ ($\forall$$l$:IdLnk, ${\it tg}$:Id. AtomFree(Type;$A$.dout($l$,${\it tg}$)))